შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

წელი:
2004
ენა:
french
ფაილი:
DJVU, 2.45 MB
0 / 0
french, 2004
2
Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

წელი:
2004
ენა:
french
ფაილი:
EPUB, 49.48 MB
5.0 / 0
french, 2004
3
Domains and Lambda-Calculi

Domains and Lambda-Calculi

წელი:
1998
ენა:
english
ფაილი:
PDF, 3.45 MB
0 / 0
english, 1998
4
Interactive Models of Computation and Program Behavior

Interactive Models of Computation and Program Behavior

წელი:
2010
ენა:
english
ფაილი:
PDF, 17.05 MB
0 / 0
english, 2010
5
Domains and Lambda-Calculi

Domains and Lambda-Calculi

წელი:
1996
ენა:
english
ფაილი:
PDF, 3.73 MB
0 / 0
english, 1996
7
Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

წელი:
1993
ენა:
english
ფაილი:
DJVU, 3.07 MB
0 / 0
english, 1993
8
Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

წელი:
1993
ენა:
english
ფაილი:
PDF, 11.41 MB
0 / 0
english, 1993